R 0-algebras and weak dually residuated lattice ordered semigroups
نویسندگان
چکیده
منابع مشابه
On representable ordered residuated semigroups
We show that the equational theory of representable lattice-ordered residuated semigroups is not finitely axiomatizable. We apply this result to the problem of completeness of substructural logics.
متن کاملLower Semilattice-Ordered Residuated Semigroups and Substructural Logics
We look at lower semilattice-ordered residuated semigroups and, in particular, the representable ones, i.e., those that are isomorphic to algebras of binary relations. We will evaluate expressions (terms, sequents, equations, quasi-equations) in representable algebras and give finite axiomatizations for several notions of validity. These results will be applied in the context of substructural l...
متن کاملFilter Theory of Bounded Residuated Lattice Ordered Monoids
Bounded residuated lattice ordered monoids (R -monoids) are a common generalization of pseudo-BL-algebras and Heyting algebras, i.e. algebras of the non-commutative basic fuzzy logic (and consequently of the basic fuzzy logic, the Łukasiewicz logic and the non-commutative Łukasiewicz logic) and the intuitionistic logic, respectively. In the paper we introduce and study classes of filters of bou...
متن کاملClasses of Fuzzy Filters of Residuated Lattice Ordered Monoids
The logical foundations of processes handling uncertainty in information use some classes of algebras as algebraic semantics. Bounded residuated lattice ordered monoids (Rl-monoids) are common generalizations of BL-algebras, i.e., algebras of the propositional basic fuzzy logic, and Heyting algebras, i.e., algebras of the propositional intuitionistic logic. From the point of view of uncertain i...
متن کاملWeak*-closed invariant subspaces and ideals of semigroup algebras on foundation semigroups
Let S be a locally compact foundation semigroup with identity and be its semigroup algebra. Let X be a weak*-closed left translation invariant subspace of In this paper, we prove that X is invariantly complemented in if and only if the left ideal of has a bounded approximate identity. We also prove that a foundation semigroup with identity S is left amenab...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Czechoslovak Mathematical Journal
سال: 2006
ISSN: 0011-4642,1572-9141
DOI: 10.1007/s10587-006-0021-9